Towards Discovery, Specification, and Verification of Component Usage
نویسندگان
چکیده
Additional problems of software testing arise when applications under test are developed in the component-based approach. Component misuse is one of them. The component misuse problem occurs when a component is used in a way that differs from the component producer's expectation. This paper explores the cause of the component misuse problem and proposes a technique to discover, specify, and verify component usage. This technique utilizes regular expressions as the formalism to deal with component usage. This research is part of the software retrospector effort, which aims at a better testing solution for component-based software. Chang Liu, Debra J. Richardson 2
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملTowards a Framework for Resource Usage Verification and Debugging in the CiaoPP System
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to a specification expressing non-functional global properties (e.g., upper and lower bounds on execution time, memory, power, or user defined resources). Such bounds are given as functions on input data sizes. A given s...
متن کاملTowards Automated Verification of Grid Component Model
We continue investigation of formal specification of Grid Component systems by branching-time logics and subsequent application of temporal resolution as a verification technique. We aim at the analysis of average case component system, and work on the specification algorithms as well as on the implementation of the verification tool.
متن کاملFormal Specification and Verification for SQL Operations in Top Level Specification of a Secure Database
Formal specification and verification is required for high security level DBMS in the top level specification design. The specification and verification towards SQL operations is important especially. In this paper, we propose a novel approach to solve the specification and verification issues towards SQL operations. Firstly, we formally define the SQL operations in FTLS; then, we give the defi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999